TSTP Solution File: CSR129^2 by CARINE---0.734